A self-consistent approach to the Wigner-Seitz treatment of soliton matter

We propose a self-consistant approach to the treatment of nuclear matter as a crystal of solitons in the Wigner-Seitz approximation. Specifically, we use a Bloch-like boundary condition on the quarks at the edge of a spherical cell which allows the dispersion relation for a given radius to be calculated self-consistently along with the meson fields; in previous work some ansatz for the dispersion relation has always been an input. Results in all models are very sensitive to the form of the dispersion relation, so our approach represents a significant advance. We apply the method to both the Friedberg Lee model and the chiral quark-meson model of Birse and Banerjee. Only the latter shows short range repulsion; in the former the transition to a quark plasma occurs at unrealistically low densities.Comment: Revtex; 14 pages with 9 eps figure

Activation volume of selected liquid crystals in the density scaling regime

In this paper, we demonstrate and thoroughly analyze the activation volumetric properties of selected liquid crystals in the nematic and crystalline E phases in comparison with those reported for glass-forming liquids. In the analysis, we have employed and evaluated two entropic models (based on either total or configurational entropies) to describe the longitudinal relaxation times of the liquid crystals in the density scaling regime. In this study, we have also exploited two equations of state: volumetric and activation volumetric ones. As a result, we have established that the activation volumetric properties of the selected liquid crystals are quite opposite to such typical properties of glass-forming materials, i.e., the activation volume decreases and the isothermal bulk modulus increases when a liquid crystal is isothermally compressed. Using the model based on the configurational entropy, we suggest that the increasing pressure dependences of the activation volume in isothermal conditions and the negative curvature of the pressure dependences of isothermal longitudinal relaxation times can be related to the formation of antiparallel doublets in the examined liquid crystals. A similar pressure effect on relaxation dynamics may be also observed for other material groups in case of systems, the molecules of which form some supramolecular structures

Nonlinear effects of phonon fluctuations on transport through nanoscale junctions

We analyze the effect of electron-phonon coupling on the full counting statistics of a molecular junction beyond the lowest order perturbation theory. Our approach allows to take into account analytically the feedback between the non-equilibrium phonon and electronic distributions in the quantum regime. We show that even for junctions with high transmission and relatively weak electron-phonon coupling this feedback gives rise to increasingly higher nonlinearities in the voltage dependence of the cumulants of the transmitted charges distribution.Comment: 4 pages, 3 figure

A uniform metallicity in the outskirts of massive, nearby galaxy clusters

Suzaku measurements of a homogeneous metal distribution of $Z\sim0.3$ Solar in the outskirts of the nearby Perseus cluster suggest that chemical elements were deposited and mixed into the intergalactic medium before clusters formed, likely over 10 billion years ago. A key prediction of this early enrichment scenario is that the intracluster medium in all massive clusters should be uniformly enriched to a similar level. Here, we confirm this prediction by determining the iron abundances in the outskirts ($r>0.25r_{200}$) of a sample of ten other nearby galaxy clusters observed with Suzaku for which robust measurements based on the Fe-K lines can be made. Across our sample the iron abundances are consistent with a constant value, $Z_{\rm Fe}=0.316\pm0.012$ Solar ($\chi^2=28.85$ for 25 degrees of freedom). This is remarkably similar to the measurements for the Perseus cluster of $Z_{\rm Fe}=0.314\pm0.012$ Solar, using the Solar abundance scale of Asplund et al. (2009).Comment: accepted for publication in MNRA

Witnessing the Growth of the Nearest Galaxy Cluster: Thermodynamics of the Virgo Cluster Outskirts

We present results from Suzaku Key Project observations of the Virgo Cluster, the nearest galaxy cluster to us, mapping its X-ray properties along four long `arms' extending beyond the virial radius. The entropy profiles along all four azimuths increase with radius, then level out beyond $0.5r_{200}$, while the average pressure at large radii exceeds Planck Sunyaev-Zel'dovich measurements. These results can be explained by enhanced gas density fluctuations (clumping) in the cluster's outskirts. Using a standard Navarro, Frenk and White (1997) model, we estimate a virial mass, radius, and concentration parameter of $M_{200}=1.05\pm0.02\times10^{14}$ M$_\odot$, $r_{200}=974.1\pm5.7$ kpc, and $c = 8.8 \pm0.2$, respectively. The inferred cumulative baryon fraction exceeds the cosmic mean at $r\sim r_{200}$ along the major axis, suggesting enhanced gas clumping possibly sourced by a candidate large-scale structure filament along the north-south direction. The Suzaku data reveal a large-scale sloshing pattern, with two new cold fronts detected at radii of 233 kpc and 280 kpc along the western and southern arms, respectively. Two high-temperature regions are also identified 1 Mpc towards the south and 605 kpc towards the west of M87, likely representing shocks associated with the ongoing cluster growth. Although systematic uncertainties in measuring the metallicity for low temperature plasma remain, the data at large radii appear consistent with a uniform metal distribution on scales of $\sim 90\times180$ kpc and larger, providing additional support for the early chemical enrichment scenario driven by galactic winds at redshifts of 2-3.Comment: submitted to MNRA

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of proofs. This work develops learning-based premise selection in two ways. First, a newly available minimal dependency analysis of existing high-level formal mathematical proofs is used to build a large knowledge base of proof dependencies, providing precise data for ATP-based re-verification and for training premise selection algorithms. Second, a new machine learning algorithm for premise selection based on kernel methods is proposed and implemented. To evaluate the impact of both techniques, a benchmark consisting of 2078 large-theory mathematical problems is constructed,extending the older MPTP Challenge benchmark. The combined effect of the techniques results in a 50% improvement on the benchmark over the Vampire/SInE state-of-the-art system for automated reasoning in large theories.Comment: 26 page

Harnessing the power of cell transplantation to target respiratory dysfunction following spinal cord injury.

The therapeutic benefit of cell transplantation has been assessed in a host of central nervous system (CNS) diseases, including disorders of the spinal cord such as traumatic spinal cord injury (SCI). The promise of cell transplantation to preserve and/or restore normal function can be aimed at a variety of therapeutic mechanisms, including replacement of lost or damaged CNS cell types, promotion of axonal regeneration or sprouting, neuroprotection, immune response modulation, and delivery of gene products such as neurotrophic factors, amongst other possibilities. Despite significant work in the field of transplantation in models of SCI, limited attention has been directed at harnessing the therapeutic potential of cell grafting for preserving respiratory function after SCI, despite the critical role pulmonary compromise plays in patient outcome in this devastating disease. Here, we will review the limited number of studies that have demonstrated the therapeutic potential of intraspinal transplantation of a variety of cell types for addressing respiratory dysfunction in SCI